命題3

命題3

 もし、連続して比例する任意個の数が同じ比をもつ数の中で最小であるならば、そのとき、それらの外項は互いに素である。

 連続して比例する任意個の数ABCDが同じ比をもつ数の中で最小の数であるとせよ。

 それらの外項ADは互いに素であると主張する。

 ABCDと同じ比で最小である2つの数EFを、同じ性質である他の3つの数GHKをとり、他に1つずつ続けてとり、とられた個数が数ABCDの個数と等しくなるまでとる。propositionZ.33proposition[.2

 それらをLMNOとせよ。

 EFは同じ比をもつ数の中で最小の数なので、それゆえに、それらは互いに素である。propositionZ.22

 また、数EFに自分自身をそれぞれかけられると数GKを作り、GKをそれぞれかけるとLOを作るので、それゆえに、GKLOは互いに素である。proposition[.2corpropositionZ.27

 また、ABCDは同じ比をもつ数の中で最小である数であり、一方LMNOは、ABCDと同じ比をもつ数の中で最小であり、ABCDの個数とLMNOの個数は等しいので、それゆえに、ABCDLMNOとそれぞれ等しい。

 それゆえに、ALに等しく、DOに等しい。

 また、LOは互いに素である。

 それゆえに、ADも互いに素である。

 それゆえに、もし、連続して比例する任意個の数が同じ比をもつ数の中で最小であるならば、そのとき、それらの外項は互いに素である。

証明終了

第8巻命題2へ  第8巻命題4へ  第8巻目次へ